Fragment of Nonstandard Analysis with a Finitary Consistency Proof
نویسندگان
چکیده
منابع مشابه
Fragment of Nonstandard Analysis with a Finitary Consistency Proof
We introduce a nonstandard arithmetic NQA− based on the theory developed by R. Chuaqui and P. Suppes in [2] (we will denote it by NQA+), with a weakened external open minimization schema. A finitary consistency proof for NQA− formalizable in PRA is presented. We also show interesting facts about the strength of the theories NQA− and NQA+; NQA− is mutually interpretable with I∆0 + EXP, and on th...
متن کاملFree-Variable Axiomatic Foundations of Infinitesimal Analysis: A Fragment with Finitary Consistency Proof
$
متن کاملTransfer Principle Proof Tactic for Nonstandard Analysis
This paper describes a type constructor for nonstandard extensions of arbitrary types, generalizing the previous formalization of nonstandard analysis in Isabelle by Fleuriot and Paulson [1]. In addition to numeric types, nonstandard extensions of function spaces and set types also prove useful—they provide an elegant way to define internal functions and internal sets. The paper also describes ...
متن کاملA New Approach to Nonstandard Analysis
In this paper, we propose a new approach to nonstandard analysis without using the ultrafilters. This method is very simple in practice. Moreover, we construct explicitly the total order relation in the new field of the infinitesimal numbers. To illustrate the importance of this work, we suggest comparing a few applications of this approach with the former methods.
متن کاملA Short Note on Spector's Proof of Consistency of Analysis
In 1962, Clifford Spector gave a consistency proof of analysis using so-called bar recursors. His paper extends an interpretation of arithmetic given by Kurt Gödel in 1958. Spector’s proof relies crucially on the interpretation of the so-called (numerical) double negation shift principle. The argument for the interpretation is ad hoc. On the other hand, William Howard gave in 1968 a very natura...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of Symbolic Logic
سال: 2007
ISSN: 1079-8986,1943-5894
DOI: 10.2178/bsl/1174668218